√在线天堂中文最新版网,97se亚洲综合色区,国产成人av免费网址,国产成人av在线影院无毒,成人做爰100部片

×

structural induction中文什么意思

發(fā)音:   用"structural induction"造句
  • 結(jié)構(gòu)歸納法
  • structural:    adj. 構(gòu)造上的,結(jié)構(gòu)上的,組織上的。 adv. -l ...
  • induction:    n. 1.引入,誘發(fā),誘導(dǎo)(作用)。 2.【邏輯學(xué)】歸納 ...
  • structural induction principle:    結(jié)構(gòu)歸納法原理
  • induction:    n. 1.引入,誘發(fā),誘導(dǎo)(作用)。 2.【邏輯學(xué)】歸納法,歸納推理 (opp. deduction)。 3.就職,就職典禮;入會(huì),入伍。 4.【電學(xué)】感應(yīng),感應(yīng)現(xiàn)象。 5.〔古語(yǔ)〕導(dǎo)言,序幕。 6.首次經(jīng)驗(yàn),入門(mén)。 7.吸入。 make an induction from 由…歸納出來(lái)的。 mutual induction 互感應(yīng)。 self induction 自感應(yīng)。 air induction 吸氣。 adj. -less 無(wú)感應(yīng)的。
  • structural:    adj. 構(gòu)造上的,結(jié)構(gòu)上的,組織上的。 adv. -ly
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯

例句與用法

  1. Weakly terminating property in a restricted domain of a term rewriting system , one with structural induction , one with cover - set induction , and the third without induction , and describes their mechanization based on a meta - computation model for term rewriting systems - dynamic term rewriting calculus
    基于覆蓋集合歸納法的項(xiàng)重寫(xiě)系統(tǒng)弱基終止性證明的機(jī)械化論文提出一種關(guān)于一般化了的項(xiàng)重寫(xiě)系統(tǒng)弱基終止性,即,在特定領(lǐng)域的項(xiàng)重寫(xiě)系統(tǒng)弱終止性的形式自動(dòng)證明方法。

百科釋義

    Structural induction is a proof method that is used in mathematical logic (e.g.
    詳細(xì)百科解釋

相關(guān)詞匯

其他語(yǔ)言

相鄰詞匯

  1. structural improvement (optimization) 什么意思
  2. structural improvement works 什么意思
  3. structural in situ cast concrete 什么意思
  4. structural inconsistency 什么意思
  5. structural index 什么意思
  6. structural induction principle 什么意思
  7. structural inflatio 什么意思
  8. structural inflation 什么意思
  9. structural information 什么意思
  10. structural information content 什么意思
桌面版繁體版English

相關(guān)閱讀

Copyright ? 2025 WordTech Co.